21. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
پدیدآورنده : Michael Hanus, Mario Rodriguez Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
1139
22. Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings
پدیدآورنده : Giorgio Levi, Mario Rodriguez Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
850
23. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده : Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
24. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A45842
1992
25. <An> Introduction to Default Logic
پدیدآورنده : Philippe Besnard
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Artificial Intelligence,Logic programming,Logic
رده :
Q
،
335
،.
B49
،
1989
26. An inductive logic programming approach to statistical relational learning
پدیدآورنده : / Kristian Kersting
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic programming,Uncertainty (Information theory),Machine learning,Markov processes
رده :
QA76
.
63
.
K47
2006
27. An introduction to default logic
پدیدآورنده : Besnard, Philippe
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Artificial intelligence,، Logic programming,، Logic
رده :
Q
335
.
B49
1989
28. An introduction to logic programming through Prolog /
پدیدآورنده : Michael Spivey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
رده :
QA76
.
63
.
S64
1996
29. An object-oriented approach to programming logic and design
پدیدآورنده : Farrell, Joyce
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F3O2
30. Answer set programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming. ;
31. Answer set programming /
پدیدآورنده : by Vladimir Lifschitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Logic programming.,Artificial intelligence.,Logic programming.
رده :
QA76
.
63
32. Answer set programming for continuous domains
پدیدآورنده : Jeroen Janssen ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fuzzy logic,Logic programming
رده :
QA76
.
63
.
A57
2012eb
33. Answer set programming for continuous domains
پدیدآورنده : Jeroen Janssen ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fuzzy logic,Logic programming
رده :
QA76
.
63
.
A57
2012eb
34. Answer set solving in practice /
پدیدآورنده : Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Declarative programming.,Logic programming.,Declarative programming.,Logic programming.,MATHEMATICS-- Algebra-- Elementary.
رده :
QA76
.
615
.
A58
2013eb
35. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
پدیدآورنده : Dietmar Seipel... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Declarative programming,Congresses ، Knowledge management,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3392
36. Approche logique de lintelligence artificielle
پدیدآورنده : Par Andre Thayse... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Artificial intelligence , Logic programming
رده :
Q
335
.
A675
37. Arithmetic and logic in computer systems. ]CD[
پدیدآورنده : Lu, Mi., Mi Lu
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer arithmetic,، Logic programming
رده :
QA76
.
9
.
C62
L8
2004
38. Arithmetic and logic in computer systems
پدیدآورنده : Lu, Mi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer arithmetic,، Logic programming
رده :
QA
76
.
9
.
C62L8
39. Arithmetic and logic in computer systems
پدیدآورنده : Lu, Mi
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer arithmetic,، Logic programming
رده :
QA
76
.
9
.
C62L8
40. Arithmetic and logic in computer systems
پدیدآورنده : Mi Lu
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Computer arithmetic,Logic programming
رده :
QA
76
.
9
.
C62
,
L8
2004
